dimension of the null space